大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Computing and Combinatorics [electronic resource] : 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings

0
索取号：
作者：Ngo、 Hung Q.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Theoretical Foundations of Quantum Information Processing and Communication [electronic resource] : Selected Topics

0
索取号：
作者：Br眉ning、 Erwin.、Petruccione、 Francesco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ubiquitous Intelligence and Computing [electronic resource] : 6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009. Proceedings

0
索取号：
作者：Zhang、 Daqing.、Portmann、 Marius.、Tan、 Ah-Hwee.、Indulska、 Jadwiga.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience [electronic resource] : 5th International Conference, FAC 2009 Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009 Proceedings

0
索取号：
作者：Schmorrow、 Dylan D.、Estabrooke、 Ivy V.、Grootjen、 Marc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Scientific Data Mining and Knowledge Discovery [electronic resource] : Principles and Foundations

0
索取号：
作者：Gaber、 Mohamed Medhat.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Quantum Field Theory on Curved Spacetimes [electronic resource] : Concepts and Mathematical Foundations

0
索取号：
作者：B盲r、 Christian.、Fredenhagen、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Online Communities and Social Computing [electronic resource] : Third International Conference, OCSC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings

0
索取号：
作者：Ozok、 A. Ant.、Zaphiris、 Panayiotis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Universal Access in Human-Computer Interaction. Applications and Services [electronic resource] : 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments [electronic resource] : 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Universal Access in Human-Computer Interaction. Addressing Diversity [electronic resource] : 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Autonomic and Trusted Computing [electronic resource] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings

0
索取号：
作者：Gonz谩lez Nieto、 Juan.、Reif、 Wolfgang.、Wang、 Guojun.、Indulska、 Jadwiga.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Global Geodetic Observing System [electronic resource] : Meeting the Requirements of a Global Society on a Changing Planet in 2020

0
索取号：
作者：Plag、 Hans-Peter.、Pearlman、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Driven Architecture - Foundations and Applications [electronic resource] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

0
索取号：
作者：Paige、 Richard F.、Hartman、 Alan.、Rensink、 Arend.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Networks [electronic resource] : 16th Conference, CN 2009, Wis艂a, Poland, June 16-20, 2009. Proceedings

0
索取号：
作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

0
索取号：
作者：Bouajjani、 Ahmed.、Maler、 Oded.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings

0
索取号：
作者：Carette、 Jacques.、Dixon、 Lucas.、Coen、 Claudio Sacerdoti.、Watt、 Stephen M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.